Bitcoin: Rules Without Rulers